existential quantifier definition